SECD-машина
SECD-машина — абстрактная машина, интерпретатор выражений λ-исчисления. Использует четыре стека: S () — стек объектов для вычисления рекурсивных выражений, E () — контекст (отображение идентификаторов в объекты), C () — управляющая строка (список управления), D () — дамп, хранилище предыдущих состояний, используемое для возврата из вызова функций.